(0 17 15)(1 19 3)(2 7 4)(5 11 8)(6 16 9)(10 18 14)(12 20 13)
ALLOWS (11/8)-SEQUENCE
1: (9 13 16)

(0 17 15)(1 19 3)(2 7 4)(5 11 8)(6 16 12 20 13)(9)(10 18 14)
2: (12 20 13)

(0 17 15)(1 19 3)(2 7 4)(5 11 8)(6 16 12)(9)(10 18 14)(13)(20)
3: (0 17 15)

(0)(1 19 3)(2 7 4)(5 11 8)(6 16 12)(9)(10 18 14)(13)(15)(17)(20)
4: (10 18 14)

(0)(1 19 3)(2 7 4)(5 11 8)(6 16 12)(9)(10)(13)(14)(15)(17)(18)(20)